AtomDeq $\in$ EqDecider(Atom)